#define COMPAT_INCLUDE_XEN_PLATFORM_COMPAT_H
#include <linux/version.h>
-
#include <linux/spinlock.h>
+#include <asm/maddr.h>
#if defined(__LINUX_COMPILER_H) && !defined(__always_inline)
#define __always_inline inline
#if defined(_PAGE_PRESENT) && !defined(_PAGE_NX)
#define _PAGE_NX 0
-#endif
-
/*
* This variable at present is referenced by netfront, but only in code that
* is dead when running in hvm guests. To detect potential active uses of it
* mappings created with it will fault when accessed.
*/
#define __supported_pte_mask ((maddr_t)0)
+#endif
#endif